TeXSpanningComment.lagda.tex:2,3-6,7: Multi-line comment spans one or more literate text blocks.
